Skip to content

Conversation

pdobacz
Copy link
Member

@pdobacz pdobacz commented Jun 26, 2024

Extracted from #129 - just the editorial changes which remove definitions. The "breaking" change is now in #135.

CC @gumb0 @shemnon PTAL, you've reviewed the other PRs, still looks good like this?

@pdobacz pdobacz requested a review from gumb0 June 26, 2024 11:38
@pdobacz pdobacz self-assigned this Jun 26, 2024
@pdobacz
Copy link
Member Author

pdobacz commented Jun 26, 2024

okay, I'll open a mirroring EIP PR to see if no objections are raised there, and then we can proceed

@pdobacz pdobacz merged commit e3ecf8f into main Jul 1, 2024
@pdobacz pdobacz deleted the no-definitions branch July 1, 2024 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants